sas congruency condition